Formalizing Reasoning About Change: A Temporal Diagnosis Approach
نویسندگان
چکیده
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an explicit representation of qualitative temporal information which provides a simpler and more natural representation than the situation calculus. We show how to generate more specific explanations by instantiating explanations and assuming an Open World Assumption. We argue that a framework for reasoning about action should be able to deal with concurrent and durative actions and show how they can be represented in our system.
منابع مشابه
Formalizing Reasoning About Change : A Temporal
In this paper we describe a framework for reasoning about temporal explanation problems , which is based on our previous work on model-based diagnosis of dynamic systems. We use an explicit representation of qualitative temporal information which provides a simpler and more natural representation than the situation calculus. We argue that a framework for reasoning about action should be able to...
متن کاملCommonsense Reasoning about Moving Objects: an Elusive Goal
Reasoning about how objects move and interact in space is pervasive in evcryday life. It is rightly considered an essential component of intelligence. Consequently, understanding spatial reasoning and developing computational models for it has been a central concern in many fields, including cognitive psychology, mathematics, robotics, vision, and artificial intelligence. Although much progress...
متن کاملFormalizing Reasoning About Change : A Qualitative Reasoning Approach ( Preliminary Report )
The development of a formal logic for reasoning about change has proven to be surprisingly dif-cult. Furthermore, the logics that have been developed have found surprisingly little application in those elds, such as Qualitative Reasoning, that are concerned with building programs that emulate human common-sense reasoning about change. In this paper, we argue that a basic tenet of qualitative re...
متن کاملFormalizing and Using Persistency
In many formalizations of a changing world things do not change all the t ime but are persistent thoughout a time interval. Often this persistency is represented by facts refering to intervals int which are still valid if int is replaced by any subinterval i n t ' Approaches l ike episode propagat ion or Penberthy's temporal unification try to employ this property for efficient reasoning. Howev...
متن کاملTwo-phase Exception Logic
In this paper we propose an exception logic { formalizing reasoning about exceptions. We use this logic to defend two claims. First, we argue that default logic { formalizing reasoning about default assumptions { is an extension of exception logic. A deconstruction argument shows that reasoning about exceptions is one of the rst principles of reasoning about default assumptions. Second, we argu...
متن کامل